https://serokell.io/blog/type-families-haskell
Check out this post by Serokell.